Deontic Logic

The chapter is organized in ten sections, each of them presenting a fundamental issue or problem in the area of deontic logic. Section 10.2 is about the issue of norms and truth, i.e., whether norms should have truth value. It opposes deontic logic viewed as a logic of normative propositions to deontic logic viewed as a logic of imperatives. Section 10.3 deals with the problem of contrary-to-duty (CTD) reasoning while Sect. 10.4 is about the problem of normative conflicts, i.e., how a logic of norms can represent conflicting obligations both syntactically and semantically. Section 10.5 focuses on the issue of norm revision relating it to the problem of belief revision as studied in the classical approach of Alchourron, Gardenfors and Makinson (AGM). Sections 10.6 and 10.7 consider two fundamental problems in the logical representation of norms, namely the logical representation of the temporal aspects of norms and the logical representation of norms about